Nuprl Definition : kindcase
11,40
postcript
pdf
kindcase(
k
;
a
.
f
(
a
);
l
,
t
.
g
(
l
;
t
)) == if islocal(
k
) then
f
(act(
k
)) else
g
(lnk(
k
);tag(
k
)) fi
latex
Definitions
tag(
k
)
,
lnk(
k
)
,
act(
k
)
,
islocal(
k
)
,
if
b
then
t
else
f
fi
FDL editor aliases
kindcase
origin